Instance Verification Kit (IVK)

spin lock @ [22294+41+/linux-3.19-rc1/drivers/usb/host/isp116x-hcd.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
finish_atl_transfers [15328+20+/linux-3.19-rc1/drivers/usb/host/isp116x-hcd.c]
finish_request [7949+14+/linux-3.19-rc1/drivers/usb/host/isp116x-hcd.c]
isp116x_irq [15667+11+/linux-3.19-rc1/drivers/usb/host/isp116x-hcd.c]
isp116x_urb_dequeue [22074+19+/linux-3.19-rc1/drivers/usb/host/isp116x-hcd.c]
postproc_atl_queue [9306+18+/linux-3.19-rc1/drivers/usb/host/isp116x-hcd.c]